Challenge: How IJCAI 1999 can Prove Value of AI by Using AI
نویسنده
چکیده
The past several years have seen much progress in the area of propositional reasoning and satisfiability testing. There is a growing consensus by researchers on the key technical challenges that need to be addressed in order to maintain this momentum. This paper outlines concrete technical challenges in the core areas of systematic search, stochastic search, problem encodings, and criteria for evaluating progress in this area.
منابع مشابه
Challenge: How IJCAI 1999 can Prove the Value of AI by Using AI
The challenge formulated in this paper is a direct reaction to the reviewer selection process of IJCAI 1997, which relied on an unintelli-gent string matching program. We challenge the AI community to implement an intelligent knowledge-based reviewer selection program for IJCAI 1999.
متن کاملAIBIRDS: The Angry Birds Artificial Intelligence Competition
The Angry Birds AI Competition (aibirds.org) has been held in conjunction with the AI 2012, IJCAI 2013 and ECAI 2014 conferences and will be held again at the IJCAI 2015 conference. The declared goal of the competition is to build an AI agent that can play Angry Birds as good or better than the best human players. In this paper we describe why this is a very difficult problem, why it is a chall...
متن کاملArtificial intelligence & genetics
Artificial intelligence (AI) is the development of computer systems that are able to perform tasks that normally require human intelligence. Artificial intelligence (AI) is a wide-ranging tool that enables people to rethink how we integrate information, analyze data, and use the resulting insights to improve decision making—and already it is transforming every walk of life. AI has application...
متن کاملThe Future of Healthcare Facilities: How Technology and Medical Advances May Shape Hospitals of the Future
In this review article, we aim to depict how healthcare facilities may look in the near future from an architectural design point of view. For this purpose, we review newly introduced technology and medical advances in the field of healthcare, such as artificial intelligence (AI), robotic surgery, 3D printing, and information technology (IT), and suggest how those advances may affect the archit...
متن کاملTowards Trust, Transparency and Liability in AI / AS systems
The research problem being investigated in this article is how to develop governance mechanisms and collective decision-making processes at a global level for Artificial Intelligence (AI) systems and Autonomous systems (AS), which would enhance confidence in AI and AS.
متن کامل